Skip to content

Conversation

@germasch
Copy link
Contributor

presumably mostly related to changes in upstream packages

@germasch germasch changed the title typing: fix some mypy complaints various devops-kinda updates Dec 19, 2024
@codecov-commenter
Copy link

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

ℹ️ You can also turn on project coverage checks and project coverage reporting on Pull Request comment

Thanks for integrating Codecov - We've got you covered ☂️

@germasch germasch merged commit 46e4bbf into psc-code:main Dec 19, 2024
4 checks passed
@germasch germasch deleted the pr/devops branch December 19, 2024 05:23
@germasch germasch restored the pr/devops branch December 19, 2024 05:26
@germasch germasch deleted the pr/devops branch December 19, 2024 05:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants